DO-178B相关论文
DO-178B标准是针对民用飞机机载系统和设备软件质量控制的指导性文件,并经历了近三十年的实践。本文对DO-178B标准中描述的软件验......
本文以民航领域软件开发标准DO - 178B为指导,根据软件开发的生命周期内的不同活动,建立工作流模型,实现了进行软件验证活动的系统......
本课题中,研发通用飞机的自动驾驶仪的软件部分主要利用SIMULNK CODER自动代码生成工具实现自动生成。传统的软件开发过程主要依靠......
软件配置管理作为软件开发过程中一个重要的过程，对航空软件产品的安全性和可靠性有着至关重要的作用。本文以DO-178B为指导，结合CMM......
近年来,机载软件的安全性问题日趋严重;文中针对航空机载软件的领域特点,着重研究机载软件安全性关键技术的应用,并与软件过程管理......
结构覆盖分析(SCA)是基于DO - 178B的软件验证的重要组成部分.由于DO - 178B仅提出目标活动要求,不提供具体的工程技术方法,如何进......
随着民用机载系统复杂性的不断提高,软件工具在机载软件系统开发中被越来越广泛地使用。从适航合格审定角度探讨了软件工具在民用......
作为民用机载软件开发的一个重要领域,软件配置管理技术正日益受到人们重视,而做好配置管理计划又是配置管理过程中的重中之重。文......
本文以DO-178B和GJB5000A三级为指导?,结合CMMI三级关键过程域实践,针对航空机载软件的特点,从数据管理、构型管理、业务过程管理......
软件过程管理对航空软件产品的安全性和可靠性发挥着至关重要的作用，而配置管理技术作为软件过程中的一个重要环节，无疑又是重中之重......
针对我国民用飞机研制过程中,基于模型的机载软件开发技术进行研究,通过一种基于模型的开发工具,建立了一个机载软件模块的模型,在......
主要讲述软件的耦合性分析,并介绍了耦合性度量的方法。在民用飞机简图页软件的开发工作中,为了确保软件运行的可靠性以及根据DO-1......
随着民用飞机机载软件研制过程规范化,软件需求的开发的流程化能够提高适航的置信度....
针对DO～178B适航验证要求对机载嵌入式操作系统配置数据生成技术进行了分析研究，给出了一种可重用的机载嵌入式操作系统配置数据生成......
结构覆盖分析（SCA）是基于DO一178B的软件验证的重要组成部分。由于DO一178B仅提出目标活动要求，不提供具体的工程技术方法，如何进行结......
通过分析研究DO-178B标准,提出了适用于大规模机载软件开发和验证的集成过程。过程紧密集成基于需求的开发活动和基于需求的验证活......
阐述了安全性对于航空产品的重要性,描述了当前航空产品合格审定现状及差距,形象解释了DO-178B的内容、开发流程及基本要素。结合......
在民用飞机机载软件研制过程中，各种商用货架软件工具和自研软件工具被广泛运用到软件研制中。基于DO-178B工具鉴定要求，介绍了商用......
摘 要：软件配置管理作为软件开发过程中一个重要的过程，对航空软件产品的安全性和可靠性有着至关重要的作用。本文以DO-178B为指导，结......
【摘要】提出了一种对编译器产生的目标代码覆盖率的分析方法。传统的结构化语言的覆盖技术使用的是源代码级的，无法对编译器产生的......
This paper introduces a framework to produce and to manage quality requirements of embedded aeronautical systems, called......
本文介绍了软件界影响最为广泛、也最著名的软件开发成本估算模型COCOMO,并且根据软件测试工作成本难以估算的特点,将COCOMO估算模......
软件配置管理作为软件开发过程中的一个重要过程受到越来越多人的重视。文章从民机机载软件的特点入手,提出了一套符合民机机载软......
DO-178B中提出的指导性材料,已经被民用航空业界和各国适航当局公认为可用以建立特定机载软件达到其预期设计需求的置信度。本文基......
深刻理解DO-178 C标准对于提升机载软件开发能力具有重要意义。分别从软件生存周期过程活动和过程目标两个维度对比和分析DO-178 C......
本文从软件可靠性工程角度,对DO-178B的研制流程进行解读,分析DO-178B中所包含的避错、消错和容错的机载软件可靠性设计技术。分析......
民用飞机机载软件开发过程需遵循DO-178B标准已得到适航当局和工业界普遍认可,如何对机载软件开发过程进行评估,以确保其满足DO-17......
DO-178B自1992年颁发以来,一直作为航空业普遍认可的机载软件设计保证指南,FAA、EASA和CAAC等民航当局在对含软件的机载系统和设备......
本文首先介绍民用飞机机载软件的适航认证标准DO-178B;其次介绍了一套空气管理系统及其控制器机载软件,并以这套机载软件研制过程......
伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测......
针对国内大飞机及新一代战机机栽软件综合化、模块化的特点，根据机载软件适航验证要求，在分析传统黑、白盒测试方法与DO-17813《机载......
为了满足机载软件适航认证的迫切需求，对机载软件适航认证标准进行分析研究。阐述了DO-178B的发展动因及过程，总结了随着软件开发技......
为了开发出一份满足适航标准DO-178B要求的机载软件需求规格说明书，在介绍DO-178B对机载软件需求的要求和指出机载软件需求存在问题......
本文首先介绍民用飞机机载软硬件的适航认证标准,重点介绍DO-178B;其次介绍了空气管理系统及其对应的机载软件,并以这套机载软件研......
从标准本身出发,选取重点过程,横向比较DO-178B和DO-254两份标准在设计保证等级C级层面的主要差异点,并对两份标准中的重点差异方......
在Do-178B以及Do-178C对于Do-178B进行修改的部分内容基础上,对于模型的测试进行研究,其主要研究内容有：模型验证过程、模拟用例、......
动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的......
本文针对机载软件研制流程，分析了机载软件适航审查，包括4个阶段：软件计划阶段评审（SOI#1）、软件开发阶段评审（SOI#2）、软件验证阶段评审（S......
先前开发的机载软件在民用航空领域获得了越来越广泛的使用,随之而来的适航问题也越发突出。本文结合国际相关指导性文件以及型号......
取得适航证是商用飞机能否投入商业运营的前提。随着"十一五"期间我国大型商用飞机计划的开展,整机制造商明确要求系统供应商供应......
随着民用飞机机载软件研制过程工具化自动化程度的提高,软件生命周期工程环境的建立必须从多方面进行权衡考虑.从适航合格审定角度......
针对无人机用大气数据计算机,为使其满足适航审定要求,提出基于模型的实现方法。首先介绍了大气数据计算机获取适航的方式,并以获......
近年来，机载软件的安全性问题日趋严重；文中针对航空机载软件的领域特点，着重研究机载软件安全性关键技术的应用，并与软件过程管理方法......
为了提高军用机载设备嵌入式软件的可靠性和安全性，在总结重点型号研制经验的基础上，首次提出了在军机研制中引入适航理念。开展适航......
航空电子系统是一个包含座舱显示、飞行管理和通讯及导航等功能的复杂系统。目前国内在民机显示系统软件开发实际工程中采用以代码......
